Renaud Barbaras, La vie lacunaire [Thomas Vercruysse, p. 324] • Wolfram Hogrebe, Der implizite Mensch [Federica Ceranovi, p. 334] • Emmanuel Alloa, Das durchscheinende Bild [Maria Teresa Costa, p. 344] • Alexander R. Galloway, The Interface Effect [Angela Maiello, p. 346] • Francisco José Ramos, La significación del lenguaje poético [Michele Gardini, p. 348] • Alessandro Arbo, Entendre comme. Wittgenstein et l’esthétique musicale [Leonardo V. Distaso, p. 351.

Volumi e saggi Jay Schulkin, Reflections on the Musical Mind. An Evolutionary Perspective , [Michele Gardini, p. 202] • Hans Belting, Faces. Eine Geschichte des Gesichts [Pietro Conte, p. 205] • Aby Warburg, Il primo Rinascimento italiano. Sette conferenze inedite [Alice Barale, p. 207] • Laura Anna Macor , Reading Schiller: Ethics, Aesthetics and Religion [Lorenzo Leonardo Pizzichemi, p. 209] • Bernard Lafargue, Stéphanie Cardoso , Figures de l’art n° 25, Philosophie du design [Claire Azéma, Anne Beyaert Geslin, Stéphanie Cardoso, (...) Cécile Croce, p. 212] • Helmut Leder et al., What Makes an Art Expert? Emotion and Evaluation in Art Appreciation , “Cognition and Emotion”, 2013, 28, pp. 1-11; Enric Munar et al., Aesthetic Appreciation: Event-Related Field and Time-Frequency Analyses , “Frontiers in Human Neurosciences”, 2012, 5, pp. 1-11; Gerald C. Cupchik et al., Viewing Artworks: Contributions of Cognitive Control and Perceptual Facilitation to Aesthetic Experience , “Brain and Cognition”, 2009, 70, pp. 84-91 [Gianluca Consoli, p. 217]. (shrink)

Books Christy Mag Uidhir, Art andObjects [Elisa Caldarola, p. 182] • Julie Jaffee Nagel, Melodies of the Mind. Connections Between Psychoanalisis and Music [Michele Gardini, p. 185] • Dominic McIver Lopes, Beyond Art [Filippo Focosi, p. 187] • Annemarie Gethmann-Siefert, Herta Nagl-Docekal, Erzsébet Ròsza, Elisabeth Weisser-Lohmann, Hegels Ästhetik als Theorie der Moderne [Lorenzo Leonardo Pizzichemi, p. 190] Comments Toward an Integrated Science of Aesthetics. Getting Rid of the Main Misunderstandings in Evolutionary Aesthetics [Mariagrazia Portera, p. 194].

Dominical categories are categories in which the notions of partial morphisms and their domains become explicit, with the latter being endomorphisms rather than subobjects of their sources. These categories form the basis for a novel abstract formulation of recursion theory, to which the present paper is devoted. The abstractness has of course its usual concomitant advantage of generality: it is interesting to see that many of the fundamental results of recursion theory remain valid in contexts far removed from their classic (...) manifestations. A principal reason for introducing this new formulation is to achieve an algebraization of the generalized incompleteness theorem, by providing a category-theoretic development of the concepts and tools of elementary recursion theory that are inherent in demonstrating the theorem.Dominical recursion theory avoids the commitment to sets and partial functions which is characteristic of other formulations, and thus allows for an intrinsic recursion theory within such structures as polyadic algebras. It is worthy of notice that much of elementary recursion theory can be developedwithout referencetoelements.By Gödel's generalized incompleteness theorem for consistent arithmetical systemTwe mean any statement of the following sort: if every recursive set is definable inT, thenTis essentially undecidable [41]; or if all recursive functions are definable inT, thenTis essentially undecidable [41]; or if every recursive set is definable inT, thenT0andR0 are recursively inseparable [39]; or if all re sets are representable inT, thenT0is creative [28], [39]; or ifTis a Rosser theory, thenT0andR0are effectively inseparable [39]. (shrink)

R. M. Friedberg demonstrated the existence of a recursive functional that agrees with no Banach-Mazur functional on the class of recursive functions. In this paper Friedberg's result is generalized to both α-recursive functionals and weak α-recursive functionals for all admissible ordinals α such that $\lambda , where α * is the Σ 1 -projectum of α and λ is the Σ 2 -cofinality of α. The theorem is also established for the metarecursive case, α = ω 1 , where α (...) * = λ = ω. (shrink)